معنا شناسی ادات ربط در منطق کوانتومی
Authors
Abstract:
در منطق کوانتومی، هر گزاره معادل با یک زیرفضای بسته هیلبرت در نظر گرفته می‌شود. بر این اساس، نقیض یک گزاره، معادل با مکمل متعامد یک زیرفضای بسته، ترکیب عطفی دو گزاره، معادل با اشتراک دو زیرفضای بسته و ترکیب فصلی آنها، معادل با سوپریمم دو زیرفضای بسته تعریف می‌شوند. این مقاله در تلاش است ضمن تبیین این موارد، معناشناسی ادات ربط در منطق کوانتومی را به دو صورت جبری و کریپکیایی معرفی کند و ارتباط این معناشناسی‌ها را با جهان فیزیکی تشریح نماید.
similar resources
منطق فازی تک‌نرم گزاره‌ای با ادات صدق
منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...
full textمنطق ربط نزد شمس‌الدین سمرقندی
شمس‌الدین سمرقندی از منطق‌دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش نهاده است. از نظر ابن‌سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در‌نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی‌پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می‌داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می‌کند و به شرایط کمیت نمی‌پردازد و هنگام ارائة مثال نقض برای ضرب‌های عقیم، تفاوت ک...
full textمنطق ربط و سلب لزوم در شرطی سالبه ی کلیه
نگارنده در مقاله‌ی دیگری در تحلیل شرطی‌های سالبه‌ی کلیه، با فرمول‌بندی عبارات ابن‌سینا نشان داده است که به تحلیل ابن‌سینا ایراد صوری مهمی وارد است و تلاش‌های ابن‌سینا در پاسخ به آن، پذیرفتنی نیستند. او به کمک تحلیل ابن‌سینا از موجبه‌ی کلیه، پاسخ دیگری به ایراد مورد نظر یافته، اما نشان داده است که این پاسخ نیز توان دفع ایراد را ندارد. در پایان، وی حل نهایی مسأله را، به عنوان مسأله‌ای باز، فراروی...
full textمنطق ربط نزد شمس الدین سمرقندی
شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائه مثال نقض برای ضرب های عقیم، تفاوت کم...
full textمعنا شناسی اسماءالحسنی
این مقاله موضوع نام های نیکوی خداوند را با رویکردی متفاوت مورد بررسی قرار می دهد. به نظر می رسد یافته ها و روشهای زبان شناسی بویژه در شاخه معناشناسی واژگانی می تواند زمینه پژوهش های تازه تری را فراهم نماید. شارحان اسماء واندیشمندانی که به نامهای خداوند پرداخته اند ‘ به تدریج دریافته اند که میان اسماء خداوند‘نوعی نظم در روابط معنایی و یا احیانأ سلسله مراتب برقرار است. آنان کوشیده اند در قالب لغت...
full textMy Resources
Journal title
volume 2 issue 1
pages 5- 22
publication date 2012-06-21
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023